#include "dy1/dy-assert.h"

int
main()
{
    DY_ASSERT(1 == 2);
    return 0;
}
